<body>Core debugger functionality.</body>